(do-install): Copy the DOC-* files from the build

etc directory, as well as lots of things from ${srcdir}/etc.

diff --git a/Makefile.in b/Makefile.in
index d0a902f95cc771ec851d95e11ccab5e0b34a8a34..ea5228898b4196fd084b4e05a9b59bf30d7bd2d3 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -319,6 +319,8 @@ Makefile:
 ## source exists and is distinct from the destination.
 install: all do-install
 
+### Note that we copy the DOC-* files from the build etc directory
+### as well as lots of things from ${srcdir}/etc.
 do-install: mkdir
        (cd lib-src; \
          $(MAKE) install ${MFLAGS} prefix=${prefix} \
@@ -346,6 +348,9 @@ do-install: mkdir
                 rm -f  $${subdir}/*~ ; \
               done) ; \
         done
+       [ `(cd etc; /bin/pwd)` != `(cd ${srcdir}/etc; /bin/pwd)` ] \
+       && (echo "Copying etc/DOC* ..." ; \
+           (cd etc; tar cf - DOC*)|(cd ${etcdir}; umask 0; tar xvf - ))
        -[ `(cd ${srcdir}/info && /bin/pwd)` != `(cd ${infodir} && /bin/pwd)` ] \
         && (cd ${srcdir}/info ; \
             if [ ! -f ${infodir}/dir ] && [ -f dir ]; then \